es\_time(${\it es}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(${\it es}$.2.2.2.2.2.2.2.2.2.2.2.2.2).1